<div id="menu">
<ul>
	<li><a href="../">Home</a></li>
	<?php
		$rol = $_SESSION['Rol'];
		if($rol == 'Admin' || $rol == 'Docent' || $rol == 'StageCoordinator' || $rol == 'Administratie')
		{
	?>
    		<li><a href="../subpages/student_overzicht.php">Student</a></li>
    <?php
		}
		if($rol == 'Admin' || $rol == 'Docent' || $rol == 'StageCoordinator' || $rol == 'Administratie')
		{
	?>
			<li><a href="../subpages/docent_overzicht.php">Docent</a></li>
    <?php
		}
		if($rol == 'Admin' || $rol == 'Docent' || $rol == 'StageCoordinator' || $rol == 'Administratie')
		{
	?>
		<li><a href="../subpages/bedrijf_overzicht.php">Bedrijf</a></li>
    <?php
		}
		if($rol == 'Admin')
		{
	?>
    	<li><a href="../subpages/administratie.php">Administratie</a></li>
    <?php
		}
	?>
</ul>
</div>



